ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
раздел геометрии, изучающий свойства фигур, не меняющиеся при проективных преобразованиях, напр. при проектировании. Такие свойства наз. проективными; к ним относятся, напр., прямолинейное расположение точек (коллинеарность), порядок алгебраич. кривой и т. д.
При проектировании точек одной плоскости П на другую плоскость П' не каждая точка П' имеет прообраз в П и не каждая точка из П имеет образ в П'. Это обстоятельство привело к необходимости дополнения евклидова пространства т. н. бесконечно удаленными элементами (несобственными точками, прямыми и плоскостью) и к образованию нового геометрич. объекта - трехмерного проективного пространства. При этом каждая прямая дополняется одной несобственной точкой, каждая плоскость - одной несобственной прямой, все пространство - одной несобственной плоскостью. Параллельные прямые дополняются одной и той же несобственной точкой, непараллельные - разными, параллельные плоскости дополняются одной и той же несобственной прямой, непараллельные - равными. Несобственные точки, которыми дополняется плоскость, принадлежат несобственной прямой, дополняющей ту же плоскость. Все несобственные точки и несобственные прямые принадлежат несобственной плоскости. Дополнение евклидова пространства до проективного пространства приводит к тому, что проектирование становится взаимно однозначным. Аналогичная процедура применима и для re-мерного пространства.
Существуют различные способы аксиоматич. построения проективного пространства. Наиболее распространенным является видоизменение системы аксиом, предложенной в 1899 Д. Гильбертом (D. Hilbert) для обоснования элементарной геометрии (см.Гильберта система аксиом). Проективное пространство рассматривается как совокупность элементов трех родов: точек, прямых и плоскостей, между к-рыми установлено основное для П. г. отношение инцидентности, характеризующееся надлежащими аксиомами. Они отличаются от соответствующей группы аксиом элементарной геометрии тем, что требуют, чтобы каждые две прямые, лежащие в одной плоскости, имели общую точку, и на каждой прямой имелось, по крайней мере, три различные точки. В конкретных случаях для получения более "богатой" П. г. эта совокупность аксиом дополняется аксиомами порядка и непрерывности (для действительного проективного пространства), Паппа аксиомой (для П. г. над коммутативным телом), Фано постулатом (для П. г. над телом, характеристика к-рого 
Замечательным положением П. г. является двойственности принцип. Говорят, что точка и прямая (точка и плоскость, прямая и плоскость) инцидентны, если точка лежит на прямей (или прямая проходит через точку) и т. д. Тогда если верно нек-рое предложение 
Важную роль в П. г. играет Дезарга предложение, выполнение к-рого необходимо и достаточно для введения проективными средствами системы проективных координат, составленных из элементов нек-рого тела К, естественным образом связанного с точками проективной прямой (см. Проективная алгебра).
Основы П. г. были заложены в 17 в. Ж. Дезаргом (G. Desargues) (в связи с развитием им учения о перспективе) и Б. Паскалем (В. Pascal) (в связи с изучением им нек-рых свойств конич. сечений). Большое значение для последующего развития П. г. имели работы Г. Монжа (G. Monge, 2-я пол. 18 - нач. 19 вв.). Как самостоятельная дисциплина П. г. была изложена Ж. Понселе (J. Poncelet, нач. 19 в.). Заслуга Ж. Понселе заключалась в выделении проективных свойств фигур в отдельный класс и установлении соответствий между метрическими и проективными свойствами этих фигур. К этому же периоду относятся работы Ж. Брианшона (J. Brianchon). Дальнейшее развитие П. г. получила в трудах. Я. Штейнера (J. Steiner) и М. Шаля (М. Chasles). Большую роль в развитии П. г. сыграли работы К. Штаудта (Ch. Staudt), в к-рых были намечены также контуры аксиоматич. построения П. г. Все эти геометры стремились доказывать теоремы П. г. синтетич. методом, положив в основу изложения проективные свойства фигур. Аналитич. направление в П. г. было намечено работами А. Мёбиуса (A. Mobius). Влияние на развитие П. г. оказали работы Н. И. Лобачевского по созданию неевклидовой геометрии, позволившие в дальнейшем А. Кэли (A. Cayley) и Ф. Клейну (F. Klein) рассмотреть различные геометрич. системы с точки зрения П. г. Развитие аналитич. методов обычной П. г. и построение на этой базе комплексной П. г. (Э. Штуди, Е. Study, Э. Картан, Е. Cartan) поставили задачу о зависимости тех или иных проективных свойств от того тела, над которым построена геометрия. В решении этого вопроса больших успехов добились А. Н. Колмогоров и Л. С. Понтрягин.
Лит.:[1] Глаголев Н. А., Проективная геометрия, 2 изд., М.-Л., 1963; [2] Гильберт Д., Кон - Фоссен С., Наглядная геометрия, пер. с нем., 3 изд., М., 1981; [3] Кокстер X. С. М., Действительная проективная плоскость, пер. с англ., М., 1959; [4] Гильберт Д., Основания геометрии, пер. с нем., М.- Л., 1948; [5] Хартсхорн Р., Основы проективной геометрии, пер. с англ., М., 1970; [6] Ефимов Н. В., Высшая геометрия, В изд., М., 1978; [7] Александров П. С., Лекции по аналитической геометрии . . ., М., 1968; [8] Ефимов Н. В., Розендорн Э. Р., Линейная алгебра и многомерная геометрия, М., 1970; [9] Артин Э., Геометрическая алгебра, пер. с англ., М., 1969; [10] Vеblеn О., Yоung J. W., Projective geometry, v. 1-2, Boston-N.Y., 1910-18; [11] Blaschke W., Pro-jektive Geometric, 3 Aufl., Basel, 1954. М. И. Войцеховский.
Смотреть больше слов в «Математической энциклопедии»
Смотреть что такое ПРОЕКТИВНАЯ ГЕОМЕТРИЯ в других словарях:
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
раздел геометрии, изучающий свойства фигур, не меняющихся при проективных преобразованиях (См. Проективное преобразование), например при проект... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ, раздел геометрии, изучающий свойства фигур, не меняющихся при проективных преобразованиях, напр. при проектировании. Такие св... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
ПРОЕКТИВНАЯ ГЕОМЕТРИЯраздел геометрии, изучающий проективные свойства фигур. Отличается от евклидовой геометрии тем, что в ней не используются понятия параллельности, перпендикулярности и равенства отрезков и углов и предполагается, что любые две прямые на плоскости имеют общую точку. Тесно связанная с перспективой, проективная геометрия плоскости занимается изучением свойств и отношений, которые остаются неизменными при проецировании плоской фигуры на другую плоскость.Те, кто изучал только евклидову геометрию, считают очевидным факт, что две прямые, лежащие в одной плоскости и имеющие общий перпендикуляр, параллельны, т.е. не пересекутся, как бы далеко мы их ни продолжали. Однако если мы, например, посмотрим на железнодорожные рельсы, являющиеся параллельными прямыми, то нам безусловно покажется, что они пересекаются на горизонте. Предположив, что любые две прямые пересекаются, мы получаем систему утверждений, столь же логически непротиворечивую, как и отличная от нее система утверждений евклидовой геометрии (см. также ГЕОМЕТРИЯ; НЕЕВКЛИДОВА ГЕОМЕТРИЯ).Можно было бы ожидать, что геометрия без окружностей, расстояний, углов и параллельности окажется беднее евклидовой геометрии. Этимологически кажется странным, что может существовать геометрия, не имеющая дело с измерениями (ведь само слово "геометрия" произошло от греческого слова, означающего землемерие). Но в действительности возникает очень красивая и сложная система с теоремами, о которых Евклид не мог даже помыслить, поскольку сосредоточенность на измерении увела его совсем в другую сторону. Однако сам переход от аксиом и простейших теорем к "интересным" теоремам проективной геометрии напоминает по духу, если и не в деталях, работы Евклида.Лишь немногие из этих неметрических утверждений были известны до 1425, когда художник Брунеллески начал заниматься теорией перспективы, систематизированной несколькими годами позже в трактате Альберти. После этого было бы естественно перейти к построению проективной геометрии для трех измерений, но вскоре обнаружилось, что и двух измерений вполне достаточно, чтобы надолго привлечь внимание математиков к задачам проективной геометрии. Плоская проективная геометрия занимается изучением геометрических свойств, не меняющихся при центральном проецировании. Примером такого проецирования может служить тень от абажура лампы, падающая на стену или на пол. Обычно световое пятно имеет круглую или эллиптическую форму на полу и гиперболическую - на стене. Таким образом, в проективной геометрии нет привычного различия между окружностью, эллипсом, параболой и гиперболой; это просто конические сечения, подобные друг другу. Если художник рисует кафельный пол на вертикальном холсте, квадратные плитки уже не кажутся квадратами, т.к. их стороны и углы искажаются, но линии, на которых лежат стороны, остаются прямыми. Поэтому проективная геометрия имеет дело с треугольниками, четырехугольниками и т.д., но не с прямоугольными треугольниками, параллелограммами и т.д. См. также КОНИЧЕСКИЕ СЕЧЕНИЯ.История. Хотя конические сечения изучали еще Менехм, Евклид, Архимед и Аполлоний в 4 и 3 вв. до н.э., первые действительно проективные теоремы были открыты Паппом Александрийским в 3 в. н.э., а самое раннее доказательство проективной теоремы, исходящее из чисто проективных свойств фигур, было предложено Ж.Понселе (1788-1867), который, находясь в русском плену после бегства Наполеона из Москвы, написал Трактат о проективных свойствах фигур. Развивая идею, высказанную ранее И.Кеплером (1571-1630), Понселе получил проективное пространство из обычного, постулировав существование "бесконечно удаленной плоскости", содержащей "бесконечно удаленную прямую" для каждого пучка параллельных плоскостей, и "бесконечно удаленную точку" для каждого пучка параллельных прямых. Это позволило утверждать, что две параллельные прямые пересекаются в бесконечно удаленной точке. Но для того, чтобы действительно перейти к проективной геометрии, надо уравнять в правах эти дополнительно введенные бесконечно удаленные точки с обычными. Большую роль в этом сыграли работы К. фон Штаудта (1798-1867), а последние следы зависимости от измерений устранил в 1899 М.Пьери, построивший систему аксиом проективной геометрии. Впоследствии другими авторами предлагались системы аксиом, слегка отличные от системы Пьери. Используемая нами далее система аксиом была предложена в 1910 О.Вебленом и Дж.Юнгом.Определения. Основными понятиями, не нуждающимися в определении, будем считать "точку", "прямую" и отношение "инцидентности". Если точка P и прямая l инцидентны, мы говорим, что точка P "лежит на" прямой l, или что прямая l "проходит через" точку P. Если прямая l проходит через две точки P и Q, то мы говорим, что l "соединяет" их, и записываем l = PQ. Если точка P лежит на прямых l и m, мы говорим, что эти прямые "пересекаются" в P, и записываем P = l?m. Три и более точек на одной прямой называются "коллинеарными". Три и более прямых, проходящих через одну точку, называются "пересекающимися в одной точке". После введения понятия плоскости (см. ниже) мы можем использовать аналогичные термины для пространственных понятий: если плоскость ? проходит через две прямые l и m, мы говорим, что она "соединяет" их, и записываем ? = lm; если прямая l лежит в плоскостях ? и ?, мы говорим, что эти плоскости "пересекаются" по прямой l, и записываем l = ???."Треугольник" ABC состоит из трех неколлинеарных точек A, B, C, называемых его "вершинами", и трех соединяющих их прямых линий BC, CA, AB, называемых его "сторонами". "Плоскость" ABC состоит из всех точек, которые лежат на прямых, соединяющих C с точками на AB, и всех прямых, соединяющих пары построенных таким образом различных точек. Если четыре точки на плоскости соединены попарно шестью различными прямыми, то они называются вершинами "полного четырехвершинника" (рис. 1), а соответствующие прямые служат его шестью сторонами. Две стороны называются "противоположными", если они не имеют общей вершины. Точка, в которой пересекаются две противоположные стороны, называется "диагональной точкой".Если подвижная точка X на одной фиксированной прямой и подвижная точка X? на другой соответствуют друг другу так, что прямая XX? всегда проходит через неподвижную точку O, мы будем писатьи говорить, что между подвижными точками X и X? или, точнее, между "областями изменения" точек X и X?, которые являются двумя "сечениями" "пучка" прямых, проходящих через O, имеется проективное соответствие с центром в точке O. Более общо, если точки X и X??? на заданных (необязательно различных) прямых связаны между собой рядом последовательных перспективных соответствийто мы записываеми говорим, что между X и X??? имеется непрерывное соответствие или что X проективно отображается в X???.Точка, соответствующая самой себе, называется "инвариантной".Аксиомы. После этих предварительных определений мы располагаем всем необходимым для того, чтобы сформулировать следующие девять аксиом:I. Существуют по крайней мере две различные точки.II. Любые две различные точки A и B лежат на единственной прямой (а именно на прямой AB).III. Если A и B - различные точки, то на прямой AB существует по крайней мере одна точка, отличная от A и B.IV. Если A и B - различные точки, то существует по крайней мере одна точка, не лежащая на прямой AB.V. Если A, B, C - три неколлинеарные точки и D - точка, лежащая на BC и отличная от B и C, а E - точка, лежащая на CA и отличная от C и A, то существует точка F, лежащая на AB, такая, что точки D, E, F коллинеарны.VI. Три диагональные точки любого полного четырехвершинника неколлинеарны.VII. Существует по крайней мере одна точка, не лежащая в плоскости ABC.VIII. Любые две различные плоскости пересекаются по прямой.IX. Если на прямой имеются три различных точки, каждая из которых инвариантна относительно проективного соответствия, то любая точка этой прямой также инвариантна относительно этого соответствия.Примечания к аксиомам. Все сказанное выше кажется интуитивно очевидным, пока мы не доходим до аксиомы V, которая исключает возможность, чтобы прямые AB и DE не пересекались в силу их параллельности. Эта аксиома позволяет определить плоскость ABC с помощью простого приема присоединения точки C ко всем точкам на прямой AB. Аксиома VI также оказывается полезной, хотя существуют некоторые странные геометрии, в которых она отрицается. Аксиома VII делает рассматриваемое пространство трехмерным, а аксиома VIII не позволяет ему стать четырехмерным. Мотивация для введения аксиомы IX станет ясна позднее.Теорема Дезарга. Если соответствующие вершины двух треугольников соединены прямыми, пересекающимися в одной точке, то их соответствующие стороны пересекаются в трех коллинеарных точках. Обратно, если соответствующие стороны пересекаются в коллинеарных точках, то прямые, соединяющие соответствующие вершины, пересекаются в одной точке.На рис. 2 вы видите эту знаменитую теорему, примененную к треугольникам PQR, P?Q?R?, у которых прямые, соединяющие соответствующие вершины, пересекаются в точке O. Теорема Дезарга почти очевидна, если два треугольника лежат в различных плоскостях; действительно, в этом случае точкилежат в плоскости PQR, а также в плоскости P?Q?R?; поэтому они все лежат на прямой PQR?P?Q?R?. Случай двух треугольников, лежащих в одной плоскости, сводится к предыдущему с помощью несколько более длинного рассуждения, использующего две новые точки на прямой, проходящей через O вне плоскости треугольников.Основная теорема проективной геометрии. Проективное соответствие между двумя прямыми (т.е. между точками этих прямых) единственным образом определяется заданием трех точек на одной прямой и соответствующих трех на другой.Основная теорема следует из аксиомы IX, если мы установим цепочку перспективных соответствий, связывающих две заданные триады коллинеарных точек. Если две триады точек располагаются на различных прямых, как на рис. 2, то достаточно двух перспективных соответствий. Если обе триады располагаются на одной и той же прямой, то необходимо третье перспективное соответствие, чтобы создать еще одну триаду, не лежащую на той же прямой.Проективное соответствие между различными прямыми эквивалентно одному перспективному соответствию лишь когда точка, в которой эти прямые пересекаются, инвариантна.Классификация проективных соответствий на прямой. Аксиома IX показывает, что проективное соответствие на одной прямой не может иметь более двух инвариантных точек; в противном случае оно вырождается в тождественное соответствие, которое сопоставляет с каждой точкой ее саму. Проективное соответствие называется "эллиптическим", "параболическим" или "гиперболическим" в зависимости от того, равно число инвариантных точек 0, 1 или 2. Если используются координаты, то инвариантные точки возникают как корни квадратных уравнений; таким образом, в комплексной геометрии эллиптические проективные соответствия не встречаются, но в действительной геометрии проективное соответствиеявляется эллиптическим.Если при проективном соответствии некоторая точка X прямой переходит в точку X?, а точка X? переходит в X, то для любой другой точки Y, переходящей в Y?, Y? переходит в Y; такое соответствие, меняющее местами точки в любой паре переходящих друг в друга точек, называется инволюцией.Коллинеации и корреляции. Проективное соответствие можно описать как своего рода одномерное преобразование. Оно имеет два двумерных аналога. Коллинеация - проективное соответствие, при котором точки, лежащие на прямой, переходят в точки, также лежащие на прямой. Корреляция - проективное соответствие, при котором любым трем точкам, лежащим на одной прямой, соответствуют три прямые, проходящие через одну точку, а любым трем прямым, проходящим через одну точку, соответствуют три точки, лежащие на одной прямой.... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ, раздел геометрии, изучающий т. н. проективные свойства фигур - свойства, не меняющиеся при проективных преобразованиях. При этом в случае плоскости проективным преобразованием называют преобразование, которое можно осуществить при помощи одной или нескольких центральных проекций.<br><br><br>... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ - раздел геометрии, изучающий т. н. проективные свойства фигур - свойства, не меняющиеся при проективных преобразованиях. При этом в случае плоскости проективным преобразованием называют преобразование, которое можно осуществить при помощи одной или нескольких центральных проекций.<br>... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ , раздел геометрии, изучающий т. н. проективные свойства фигур - свойства, не меняющиеся при проективных преобразованиях. При этом в случае плоскости проективным преобразованием называют преобразование, которое можно осуществить при помощи одной или нескольких центральных проекций.... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ, раздел геометрии, изучающий т. н. проективные свойства фигур - свойства, не меняющиеся при проективных преобразованиях. При этом в случае плоскости проективным преобразованием называют преобразование, которое можно осуществить при помощи одной или нескольких центральных проекций.... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
- раздел геометрии, изучающий т. н. проективныесвойства фигур - свойства, не меняющиеся при проективных преобразованиях.При этом в случае плоскости проективным преобразованием называютпреобразование, которое можно осуществить при помощи одной или несколькихцентральных проекций.... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
раздел геометрии, изучающий т.н. проективные свойства фигур - свойства, не меняющиеся при проективных преобразованиях. При этом в случае плоскости прое... смотреть
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
geometria proiettiva
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
праектыўная геаметрыя Гдз по геометрии 8 класс атанасян бутузов
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
géométrie projective
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
projective geometry
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
projective geometry
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
projective geometry
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
projective geometry
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
Geometrie der Lage
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
projective geometry
ПРОЕКТИВНАЯ ГЕОМЕТРИЯ
• geometrie polohy